21. Combinators, -terms and proof theory
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory,Combinatory logic
Classification :
QA9
.
S753
22. Combinators, -terms and proof theory
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory,Combinatory logic
Classification :
QA9
.
S753
23. Computation and proof theory
Author: ed. by M.M. Richter ... [et al.].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
24. Computation and proof theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 part II
Author: edited by M. M. Richter ... ]et al.[
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Computational complexity,Congresses ، Proof theory
Classification :
QA
9
.
59
.
C65
1983
25. Computation and proof theory; proceedings of the logic colloquium held in Aachen, July 18-23, 1983
Author: edite by M. M. Richter, ... ]et al.[
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Proof theory
Classification :
QA
1
.
L4
v
.
1104
26. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
76
.
9
.
A96
.
K87
1993
27. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic : proceedings
Author: Georg Gottlob, Alexander Leitscch, Daniele Mundici, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
713
28. Computational logic and proof theory : 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings
Author: Georg Gottlob, Alexander Leitsch, Daniele Mundici )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1289
29. Elementary set theory: Proof techniques
Author: Gordon, Carl E.
Library: Library of Mofid University (Qom)
Subject:
Classification :
QA
150
.
G6
E4
1975
30. Essentials of mathematics: introduction to theory, proof, and the professional culture
Author: Hale, Margie.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Mathematics
Classification :
QA
39
.
3
.
H34
2003
31. Factors and Factorizations of Graphs: Proof Techniques in Factor Theory
Author: / Jin Akiyama, Mikio Kano (auth.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
32. Factors and factorizations of graphs : proof techniques in factor theory
Author: Akiyama, Jin, 6491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Factors )Algebra(,، Factorization )Mathematics(,، Graph theory
Classification :
QA
3
.
L28
Vol
.
2031
33. Factors and factorizations of graphs proof techniques in factor theory
Author: Akiyama, J., Jin Akiyama, Mikio Kano
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Factors )Algebra(,، Factorization )Mathematics(,، Graph theory
Classification :
QA
161
.
F3
A35
2011
34. Goal-directed proof theory
Author: / by Dov M. Gabbay and Nicola Olivetti
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory
Classification :
QA9
.
54
.
G33
2000
35. Goal-directed proof theory
Author: / by Dov M. Gabbay and Nicola Olivetti
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory
Classification :
QA9
.
54
.
G33
2000
36. Handbook of proof theory
Author: edited by Samuel R. Buss
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
H2
37. Hybrid Logic and its Proof-Theory
Author: / by Torben Braeuner
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Proof theory,Logic, Symbolic and mathematical
Classification :
QA9
,.
54
.
B73
2011
38. Hybrid logic and its proof-theory
Author: Brauner, Torben.
Library: Library of Farabi Campus of Tehran University (Qom)
Subject:
Classification :
QA
9
.
54
.
B7
2011
39. Hybrid logic and its proof-theory
Author: / by Torben Braeuner
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Proof theory.,Logic, Symbolic and mathematical.
Classification :
QA
,
9
.
54
,.
B736
,
2011
40. Hybrid logic and its proof-theory
Author: Brauner, Torben
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Logic, Symbolic and mathematical
Classification :
QA
9
.
54
.
B73H9
